Co-Evolution of Metamodels and Model Transformations by Kruse Steffen

Author:Kruse, Steffen
Language: eng
Format: epub
Publisher: Books on Demand
Published: 2015-09-01T04:00:00+00:00

– not IntroduceRemoveGeneralization_CommonSuperClassifier(general, specific, g): for the common case, ensure that the special case is not applicable instead.

– specific.allParents()-> excludes(general): The classifier general is not already part of the generalization hierarchy of the classifier specific.

– specific.maySpecializeType(general): The classifier specific may sub-class the classifier general. The operation maySpecializeType() returns true by default if the type of general is the same or more general than that of specific. Subclasses of type Classifier may introduce further specialization constraints by overwriting this behaviour. [77, p. 53].

– general.allParents()-> excludes(specific): The classifier specific is not part of the generalization hierarchy of the classifier general (to prevent cyclic relationships in the generalization hierarchy).

Postconditions: none

Download

Copyright Disclaimer:
This site does not store any files on its server. We only index and link to content provided by other sites. Please contact the content providers to delete copyright contents if any and email us, we'll remove relevant links or contents immediately.